Electronic design automation - PDFSEARCH.IO - Document Search Engine

Electronic design automation
Results: 1598

#	Item
211	Microsoft Word - Agilent_Using_Momentum_Genesys.docx Add to Reading List Source URL: pesona.mmu.edu.my Language: English - Date: 2013-05-23 01:14:07 Electronic design automation Stripline Microstrip Transmission line Electronic circuit simulation Electronic engineering Electronics Electromagnetism
212	Microsoft Word - EE3011_v2013_New_SDF.doc Add to Reading List Source URL: www.ee.polyu.edu.hk Language: English - Date: 2013-09-06 05:14:57 Electromagnetism Digital electronics Digital signal processing Electronic design Electronic design automation Logic gate Sequential logic Integrated circuit Comparator Electronic engineering Electronic circuits Electronics
213	Synthesis From Examples: Interaction Models and Algorithms (Invited Talk Paper) Sumit Gulwani Microsoft Research Redmond, WA, USA Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-12-28 19:34:50 Electronic design automation Bass New Wave music Synthesizer Satisfiability Modulo Theories Spreadsheet Algorithm Function Mathematics Theoretical computer science Applied mathematics
214	MPR-50 Multi-Port Router Quick Start Guide 1. Mount MPR-50 and connect power 1. Mount on 35mm DIN rail, or on wall with screws using key holes on back. 2. Connect earth ground to terminal 3. Add to Reading List Source URL: www.echelon.com Language: English - Date: 2015-04-23 06:00:53 Router LonWorks Technology Echelon Corporation Screw terminal Network switch Electrical engineering Electronic engineering Electronic design automation Routing
215	EE 331 Digital Systems with HDL Oregon Tech, Wilsonville, Winter 2014 Lab (Homework) Assignment, due Week 3 (January 21) Before starting the assignment you must install the software as described in the document Software_ Add to Reading List Source URL: www.almy.us Language: English - Date: 2013-12-22 14:55:14 Hardware description languages Field-programmable gate array Reconfigurable computing Joint Test Action Group VHDL Verilog Xilinx MOS Technology SID Electronic engineering Electronics Electronic design automation
216	Electronic circuit simulation with gEDA and NG-Spice by Example Andreas Fester May 25, 2004 Abstract This article describes how to simulate electronic circuits using the open source packages gEDA (GNU Add to Reading List Source URL: physics.gmu.edu Language: English - Date: 2012-08-23 22:47:22 Electronic design automation SPICE Ngspice Electrical network GEDA Netlist Electronic circuit simulation Integrated circuit design Capacitor Electronic engineering Application software Software
217	Program Verification as Satisfiability Modulo Theories Nikolaj Bjørner Microsoft Research Ken McMillan Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-08-15 16:20:10 Applied mathematics Electronic design automation Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories Boolean satisfiability problem Prolog Predicate transformer semantics Theoretical computer science Mathematics Formal methods
218	Toward Simulation-Based Design Mark S. Shephard Scientific Computation Research Center, Rensselaer Polytechnic Institute, Troy, NYMark W. Beall, Robert M. O’Bara, Bruce E. Webster Simmetrix, Inc., 10 Halfmoon Ex Add to Reading List Source URL: www.acusim.com Language: English - Date: 2012-11-11 10:13:09 Digital electronics Electronic design automation Computer-aided engineering Computer-aided design Simulation Logic simulation Semiconductor process simulation Crash simulation Electronic engineering Information technology management Product lifecycle management
219	Avrora: Scalable Sensor Network Simulation with Precise Timing Ben L. Titzer Daniel K. Lee Add to Reading List Source URL: compilers.cs.ucla.edu Language: English - Date: 2011-05-21 16:35:41 Wireless sensor network Wireless networking Computer networking Embedded systems Electronic design automation TinyOS Sensor node Network simulation ANT Electronic engineering Electronics Technology
220	Presentation brochure Simulín Simulín Digital Circuit Add to Reading List Source URL: labatc.umh.es Language: English - Date: 2014-09-01 16:34:10 Electronic design Electronic design automation Logic in computer science Sequential logic Logic gate Adder Flip-flop Combinational logic Counter Electronic engineering Electronics Digital electronics

UPDATE